Gabbay D.M.'s Documents

Gabbay D.M.'s Documents

Goal-Directed Proof Theory

Goal-Directed Proof Theory
Read more
Proof Theory for Fuzzy Logics (Applied Logic Series, Volume 36)

Proof Theory for Fuzzy Logics (Applied Logic Series, Volume 36)
Read more
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Read more
Inductive Logic (volume 10 of Handbook of the History of Logic)

Inductive Logic (volume 10 of Handbook of the History of Logic)
Read more
Handbook of Quantum Logic and Quantum Structures. Quantum logic

Handbook of Quantum Logic and Quantum Structures. Quantum logic
Read more
Handbook of Quantum Logic and Quantum Structures

Handbook of Quantum Logic and Quantum Structures
Read more
Quantification in nonclassical logic

Quantification in nonclassical logic
Read more
The Many Valued and Nonmonotonic Turn in Logic

The Many Valued and Nonmonotonic Turn in Logic
Read more
Layered Double Hydroxides (Structure and Bonding) (Structure and Bonding)

Layered Double Hydroxides (Structure and Bonding) (Structure and Bonding)
Read more
Handbook of temporal reasoning in artificial intelligence

Handbook of temporal reasoning in artificial intelligence
Read more
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)
Read more
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ... 1997 Proceedings

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ... 1997 Proceedings
Read more
Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 (Foundations of Artificial Intelligence)

Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 (Foundations of Artificial Intelligence)
Read more
Handbook of Logic in Computer Science 5

Handbook of Logic in Computer Science 5
Read more
Neural-symbolic cognitive reasoning

Neural-symbolic cognitive reasoning
Read more
Philosophy of Medicine, Volume 16 (Handbook of the Philosophy of Science)

Philosophy of Medicine, Volume 16 (Handbook of the Philosophy of Science)
Read more
Dispositions: A Debate (International Library of Philosophy)

Dispositions: A Debate (International Library of Philosophy)
Read more
Handbook of Logic in Computer Science 5

Handbook of Logic in Computer Science 5
Read more
Mathematical Problems from Applied Logic: Logics for the XXIst Century

Mathematical Problems from Applied Logic: Logics for the XXIst Century
Read more
General Philosophy of Science: Focal Issues

General Philosophy of Science: Focal Issues
Read more
Handbook of Logic in Computer Science 5

Handbook of Logic in Computer Science 5
Read more
Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Mathematical Problems from Applied Logic I: Logics for the XXIst Century
Read more
Handbook of the Logic of Argument and Inference, Volume ?: The Turn Towards the Practical

Handbook of the Logic of Argument and Inference, Volume ?: The Turn Towards the Practical
Read more
Approaches to Legal Rationality (Logic, Epistemology, and the Unity of Science, 20)

Approaches to Legal Rationality (Logic, Epistemology, and the Unity of Science, 20)
Read more
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
Read more
Philosophy of Technology and Engineering Sciences (Handbook of the Philosophy of Science)

Philosophy of Technology and Engineering Sciences (Handbook of the Philosophy of Science)
Read more
Handbook of logic in computer science

Handbook of logic in computer science
Read more
Handbook of Logic in Artificial Intelligence and Logic Programming: Logic Programming

Handbook of Logic in Artificial Intelligence and Logic Programming: Logic Programming
Read more
Handbook of logic in artificial intelligence and logic programming (1993-1998)

Handbook of logic in artificial intelligence and logic programming (1993-1998)
Read more
Mathematical Problems from Applied Logic I: Logics for the XXIst Century (International Mathematical Series)

Mathematical Problems from Applied Logic I: Logics for the XXIst Century (International Mathematical Series)
Read more